منابع مشابه
SProc Categorically
We provide a systematic reconstruction of Abramsky's category SProc of synchronous processes Abr93]: SProc is isomorphic to a span category on a category of traces. The signiicance of the work is twofold: It shows that the original presentation of SProc in mixed formulations is unnecessary | a simple categorical description exists. Furthermore, the techniques employed in the reconstruction sugg...
متن کاملCategorically Closed Topological Groups
Let ~ C be a category whose objects are semigroups with topology and morphisms are closed semigroup relations, in particular, continuous homomorphisms. An object X of the category ~ C is called ~ C-closed if for each morphism Φ ⊂ X×Y in the category ~ C the image Φ(X) = {y ∈ Y : ∃x ∈ X (x, y) ∈ Φ} is closed in Y. In the paper we survey existing and new results on topological groups, which are ~...
متن کاملInteraction and observation, categorically
This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels ...
متن کاملCategorically-algebraic topology
This talk aims at presenting a new way of approaching topological structures, induced by recent developments in the eld of lattice-valued topology, and deemed to incorporate in itself both crisp and many-valued settings. Based on category theory and universal algebra, the new framework is called categorically-algebraic (catalg) [9-12], to underline its motivating theories, on one hand, and to d...
متن کاملMendler-Style Inductive Types, Categorically
We present a basis for a category-theoretic account of Mendler-style inductive types. The account is based on suitably defined concepts of Mendler-style algebra and algebra homomorphism; Mendler-style inductive types are identified with initial Mendler-style algebras. We use the identification to obtain a reduction of conventional inductive types to Mendler-style inductive types and a reduction...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1992
ISSN: 0934-5043,1433-299X
DOI: 10.1007/bf03180568